$\forall$$R$:Realizer, $y$, $i$:Id. read{-}restricted($R$; $i$; $y$) $\Rightarrow$ R{-}occurs($R$;$i$;$y$)